--- embedtools/configure	2014/01/21 16:20:00	1.4.2.5
+++ embedtools/configure	2014/01/21 16:24:12	1.4.2.6
@@ -3352,7 +3352,7 @@ fi
 
 OS=$(uname)
 
-MACHINE="${MACHINE:-i386}"
+MACHINE="${HOST_CPU:-i386}"
 
 
 CFLAGS="-Wall -O2 -fPIC -g -DINET6 ${CFLAGS}"