--- rpl/configure.ac	2013/07/05 08:08:32	1.71
+++ rpl/configure.ac	2013/07/12 07:38:52	1.73
@@ -27,7 +27,7 @@ GMP=gmp-5.1.2
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
-PARI=pari-2.5.1
+PARI=pari-2.5.4
 GIAC=giac-1.1.0
 
 dnl 32 bits ABI
@@ -1314,7 +1314,7 @@ case $HOST in
 	break;;
 
 	*)
-		ARCH=unknown
+		ARCH=$(echo $HOST | cut -f1 -d-)
 	break ;;
 esac