diff -r 1968d150a34f -r f1257533021a config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Fri Jun 20 15:16:43 2008 +0000
+++ b/config/gmp_mpfr.in	Sat Jul 26 15:16:40 2008 +0000
@@ -27,8 +27,8 @@
       to run gdb natively on the target.
 
 if GMP_MPFR
-source config/cc/gmp.in
-source config/cc/mpfr.in
+source config/gmp_mpfr/gmp.in
+source config/gmp_mpfr/mpfr.in
 endif
 
 endmenu