diff -r efad82bf7b9b -r 6b2c4692f132 samples/powerpc-e300c3-linux-gnu/crosstool.config
--- a/samples/powerpc-e300c3-linux-gnu/crosstool.config	Thu Jan 24 22:37:31 2013 +0100
+++ b/samples/powerpc-e300c3-linux-gnu/crosstool.config	Sun May 11 17:51:33 2014 +0200
@@ -19,6 +19,5 @@
 CT_LIBC_GLIBC_USE_PORTS=y
 CT_GMP_V_5_0_1=y
 CT_MPFR_V_3_0_0=y
-CT_PPL_V_0_10_2=y
 CT_CLOOG_V_0_15_10=y
 CT_MPC_V_0_8_2=y