diff -r 7995942261f2 -r c26952040832 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	Sun Sep 13 12:12:05 2009 +0200
@@ -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
 }