diff -r 1968d150a34f -r 80098c869f5e config/gmp_mpfr.in
--- a/config/gmp_mpfr.in	Fri Jun 20 15:16:43 2008 +0000
+++ b/config/gmp_mpfr.in	Tue Aug 05 13:27:09 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