--- embedtools/configure.in	2014/01/21 14:12:39	1.4.2.4
+++ embedtools/configure.in	2014/01/21 16:20:00	1.4.2.5
@@ -1,6 +1,6 @@
 #
 # $Author: misho $
-# $Id: configure.in,v 1.4.2.4 2014/01/21 14:12:39 misho Exp $
+# $Id: configure.in,v 1.4.2.5 2014/01/21 16:20:00 misho Exp $
 #
 AC_INIT(embedtools, 2.0, misho@elwix.org)
 AC_CONFIG_SRCDIR([src/cfexec.c])
@@ -21,7 +21,7 @@ AC_SUBST(MKDEP)
 
 OS=$(uname)
 AC_SUBST(OS)
-MACHINE=${MACHINE:-i386}
+MACHINE="${MACHINE:-i386}"
 AC_SUBST(MACHINE)
 
 CFLAGS="-Wall -O2 -fPIC -g -DINET6 ${CFLAGS}"