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