--- rpl/configure.ac	2013/02/22 19:51:00	1.55
+++ rpl/configure.ac	2013/03/01 09:29:30	1.58
@@ -1,5 +1,5 @@
 dnl Process this file with autoconf to produce a configure script.
-AC_INIT([rpl],[4.1.12])
+AC_INIT([rpl],[4.1.13])
 AC_CANONICAL_TARGET
 AC_CANONICAL_TARGET
 AM_INIT_AUTOMAKE(silent-rules)
@@ -22,7 +22,7 @@ OPENMOTIF=openmotif-2.3.4
 LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 
-GMP=gmp-5.0.5
+GMP=gmp-5.1.1
 MPFR=mpfr-3.1.1
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
@@ -1304,7 +1304,7 @@ case $HOST in
 		ARCH=armel
 	break;;
 
-	mips*el-*-linux-gnu)
+	mips*el-unknown-linux-gnu)
 		ARCH=mipsel
 	break;;