--- configure	2010-12-31 15:22:50.000000000 +0100
+++ configure	2010-12-31 15:24:19.000000000 +0100
@@ -1918,7 +1918,7 @@
 #include "confdefs.h"
 #include <gmp.h>
 				    int main() {
-				    #if __GNU_MP_VERSION == 4
+				    #if __GNU_MP_VERSION >= 4
 					return 0;
 				    #else
 					return -1;