--- rpl/configure.ac	2013/06/21 14:15:50	1.70
+++ rpl/configure.ac	2013/07/11 11:56:32	1.72
@@ -23,7 +23,7 @@ LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
-GMP=gmp-5.1.1
+GMP=gmp-5.1.2
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
@@ -1314,7 +1314,7 @@ case $HOST in
 	break;;
 
 	*)
-		ARCH=unknown
+		ARCH=$(echo $HOST | cut -f1 -d-)
 	break ;;
 esac