diff -r 1968d150a34f -r 4d3d1e85e7d7 config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Fri Jun 20 15:16:43 2008 +0000
+++ b/config/gmp_mpfr.in	Sun Jul 20 17:20:45 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