diff -r c311bf33c64d -r a4c4e51aa541 config/companion_libs.in
--- a/config/companion_libs.in	Fri Mar 05 18:22:53 2010 +0100
+++ b/config/companion_libs.in	Mon Mar 29 20:24:50 2010 +0200
@@ -139,32 +139,32 @@
 if GMP || GMP_TARGET
 comment "GMP version needed to build for target"
     depends on !GMP
-source config/companion_libs/gmp.in
+source "config/companion_libs/gmp.in"
 endif
 if MPFR || MPFR_TARGET
 comment "MPFR version needed to build for target"
     depends on !MPFR
-source config/companion_libs/mpfr.in
+source "config/companion_libs/mpfr.in"
 endif
 if PPL || PPL_TARGET
 comment "PPL version needed to build for target"
     depends on !PPL
-source config/companion_libs/ppl.in
+source "config/companion_libs/ppl.in"
 endif
 if CLOOG || CLOOG_TARGET
 comment "CLOOG version needed to build for target"
     depends on !CLOOG
-source config/companion_libs/cloog.in
+source "config/companion_libs/cloog.in"
 endif
 if MPC || MPC_TARGET
 comment "MPC version needed to build for target"
     depends on !MPC
-source config/companion_libs/mpc.in
+source "config/companion_libs/mpc.in"
 endif
 if LIBELF || LIBELF_TARGET
 comment "libelf version needed to build for target"
     depends on !LIBELF
-source config/companion_libs/libelf.in
+source "config/companion_libs/libelf.in"
 endif
 
 config FOO