diff -r 68af6b83ff7e -r 82d5bd04b320 config/config.in
--- a/config/config.in	Fri Oct 10 14:30:44 2008 +0000
+++ b/config/config.in	Thu May 07 18:53:49 2009 +0000
@@ -2,7 +2,7 @@
 source config/target.in
 source config/toolchain.in
 source config/kernel.in
-source config/gmp_mpfr.in
+source config/companion_libs.in
 source config/binutils.in
 source config/cc.in
 source config/libc.in