--- configure.in.gmp	2010-02-10 08:50:47.000000000 +0100
+++ configure.in	2010-02-10 08:50:56.000000000 +0100
@@ -655,7 +655,7 @@
 			AC_RUN_IFELSE([AC_LANG_PROGRAM([[
 				    #include <gmp.h>
 				    ]],[[
-				    #if __GNU_MP_VERSION == 4
+				    #if __GNU_MP_VERSION >= 4
 					return 0;
 				    #else
 					return -1;
--- configure.gmp	2010-02-10 08:52:20.000000000 +0100
+++ configure	2010-02-10 08:53:06.000000000 +0100
@@ -6401,7 +6401,7 @@
 main ()
 {
 
-				    #if __GNU_MP_VERSION == 4
+				    #if __GNU_MP_VERSION >= 4
 					return 0;
 				    #else
 					return -1;