diff -r 1968d150a34f -r 8a2c96b50bf4 config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Fri Jun 20 15:16:43 2008 +0000
+++ b/config/gmp_mpfr.in	Thu Sep 04 16:56:53 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