diff -r 5416f4ba36bf -r 5d9b7f52514f config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Sun May 03 21:10:15 2009 +0000
+++ b/config/companion_libs/mpfr.in	Mon May 25 17:16:49 2009 +0000
@@ -35,8 +35,14 @@
 
 config MPFR_CHECK
     bool
-    prompt "Check MPFR"
-    default y
+    prompt "Check MPFR (!!! README !!!)"
+    default n
     help
-      It is highly recommended that 'make check' is run against the newly built
-      MPFR library. See http://gmplib.org/
+      It is highly recommended to check the newly built MPFR library.
+      Unfortunately, this is a very intensive task, and takes a loooong time.
+
+      Checking MPFR is thus disabled by default.
+
+      If you suspect that your MPFR library is the cause for incorrectly
+      generated code, you should answer 'Y' here.
+