tedu ppl/cloog-ppl.  It will never be enabled in our GCC port anyway, and
they're pretty outdated.