diff -r bfad02f03c75 -r 15fb3cdc8c48 config/companion_libs.in
--- a/config/companion_libs.in	Sat May 04 00:08:34 2013 +0200
+++ b/config/companion_libs.in	Mon May 05 23:24:05 2014 +0200
@@ -67,7 +67,6 @@
 config CLOOG
     bool
     select GMP
-    select PPL
     select COMPLIBS
 
 config MPC