diff -r 1968d150a34f -r c74132339c44 config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Fri Jun 20 15:16:43 2008 +0000
+++ b/config/gmp_mpfr.in	Mon Jun 30 11:58:58 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