diff -r -U1 gcl.orig/configure gcl/configure
--- gcl.orig/configure	2013-11-11 21:55:48.000000000 +0700
+++ gcl/configure	2014-03-30 17:25:04.874994142 +0700
@@ -5027,3 +5027,3 @@
 				    int main() {
-				    #if __GNU_MP_VERSION == 4 || __GNU_MP_VERSION == 5
+				    #if __GNU_MP_VERSION == 4 || __GNU_MP_VERSION == 5 || __GNU_MP_VERSION == 6
 					return 0;