--- embedtools/configure.in	2014/01/21 16:20:00	1.4.2.5
+++ embedtools/configure.in	2014/02/06 15:32:10	1.10
@@ -1,8 +1,8 @@
 #
 # $Author: misho $
-# $Id: configure.in,v 1.4.2.5 2014/01/21 16:20:00 misho Exp $
+# $Id: configure.in,v 1.10 2014/02/06 15:32:10 misho Exp $
 #
-AC_INIT(embedtools, 2.0, misho@elwix.org)
+AC_INIT(embedtools, 2.5, misho@elwix.org)
 AC_CONFIG_SRCDIR([src/cfexec.c])
 AC_CONFIG_HEADERS([inc/config.h])
 
@@ -21,8 +21,6 @@ AC_SUBST(MKDEP)
 
 OS=$(uname)
 AC_SUBST(OS)
-MACHINE="${MACHINE:-i386}"
-AC_SUBST(MACHINE)
 
 CFLAGS="-Wall -O2 -fPIC -g -DINET6 ${CFLAGS}"
 LDFLAGS="${LDFLAGS}"