--- rpl/configure.ac	2014/05/16 17:08:40	1.92
+++ rpl/configure.ac	2014/05/17 14:06:47	1.93
@@ -23,7 +23,7 @@ LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
-GMP=gmp-5.1.2
+GMP=gmp-6.0.0a
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
@@ -201,13 +201,15 @@ else
 	CXXFLAGS="$CXXFLAGS $ABI $enable_optimization"
 	FCFLAGS="$FCFLAGS $ABI $enable_optimization"
 fi],[
-	CFLAGS="$CFLAGS $ABI $OPTIMISATION_C"
+	CFLAGS="$CFLAGS $ABI $OPTIMISATION_C" 
 	FFLAGS="$FFLAGS $ABI $OPTIMISATION_F"
 	CXXFLAGS="$CXXFLAGS $ABI $OPTIMISATION_CXX"
 	FCFLAGS="$FCFLAGS $ABI $OPTIMISATION_F"
 	]
 )
 
+CFLAGS="$CFLAGS -fno-strict-overflow"
+
 AC_MSG_CHECKING([for usable shared memory])
 AC_COMPILE_IFELSE(
 	[AC_LANG_PROGRAM([#include <sys/shm.h>