We still need the Pizza compiler?

[Antonio Gallardo]

Hi:

I saw there is still the pizza compiler in lib/optional. It this compiler
still needed? If not, can we remove it from the distribution?

Best Regards,

Antonio Gallardo.