diff -r 0ca0f85a4b2a -r 4f0c4fb572e2 scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Wed Apr 06 22:30:57 2011 +0200
+++ b/scripts/build/companion_libs/ppl.sh	Thu May 19 23:05:32 2011 +0200
@@ -41,6 +41,7 @@
         --prefix="${CT_COMPLIBS_DIR}"               \
         --with-libgmp-prefix="${CT_COMPLIBS_DIR}"   \
         --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
+        --with-gmp-prefix="${CT_COMPLIBS_DIR}"      \
         --enable-cxx                                \
         --enable-watchdog                           \
         --disable-debugging                         \