--- ciao-1.10p8/etc/ciao_get_arch	2007-01-17 15:33:41.000000000 +0100
+++ ciao-1.10p8-wc/etc/ciao_get_arch	2008-03-13 01:26:55.000000000 +0100
@@ -76,7 +76,7 @@
 	*,mips )                CIAOARCH=MIPS ;;
 	*,CRAY-2 )              CIAOARCH=CRAY2 ;;
 	Darwin,"Power Macintosh" ) CIAOARCH=DARWINppc ;;    # JFMC 
-	Darwin,i386 )           CIAOARCH=DARWINi86 ;;    # MCL
+	Darwin,i386 )           CIAOARCH=DARWINi386 ;;    # MCL
 	esac
 fi