diff -r 7995942261f2 -r 593fb5054810 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	Mon Jun 01 15:53:42 2009 +0000
@@ -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
 }