diff -r 7995942261f2 -r 0da038fd747b scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Mon May 25 19:46:58 2009 +0000
+++ b/scripts/build/companion_libs/ppl.sh	Wed Nov 25 23:40:25 2009 +0100
@@ -62,6 +62,9 @@
     CT_DoLog EXTRA "Installing PPL"
     CT_DoExecLog ALL make install
 
+    # Remove spuriously installed file
+    CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"
+
     CT_EndStep
 }