diff -r 83083566fdd0 -r 2542421e3321 config/companion_libs.in
--- a/config/companion_libs.in	Sun Jun 14 22:56:26 2009 +0200
+++ b/config/companion_libs.in	Sun Aug 30 00:57:40 2009 +0200
@@ -4,9 +4,14 @@
 
 menu "Companion libraries"
 
+config WRAPPER_NEEDED
+    bool
+    default n
+
 config GMP_MPFR
     bool
     prompt "GMP and MPFR"
+    select WRAPPER_NEEDED
     help
       gcc 4.3.0 and above requires both GMP and MPFR to build some frontends,
       and some other components can use them as well.
@@ -28,6 +33,7 @@
 config PPL_CLOOG_MPC
     bool
     prompt "PPL, GLooG/PPL and MPC"
+    select WRAPPER_NEEDED
     help
       gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts
       of the optimiser (GRAPHITE loop optimisation, to be precise).