diff -r c310ff1d697f -r 0ebb814eb9f8 scripts/build/mpfr.sh
--- a/scripts/build/mpfr.sh	Wed Apr 30 16:38:06 2008 +0000
+++ b/scripts/build/mpfr.sh	Mon May 19 21:41:19 2008 +0000
@@ -11,7 +11,8 @@
 
 # Download MPFR
 do_mpfr_get() {
-    CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/
+    CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/          \
+                                 http://www.mpfr.org/mpfr-${CT_MPFR_VERSION}/
 }
 
 # Extract MPFR