--- embedtools/configure.in	2017/06/29 08:31:01	1.13.2.1
+++ embedtools/configure.in	2017/06/30 08:41:50	1.14
@@ -1,6 +1,6 @@
 #
 # $Author: misho $
-# $Id: configure.in,v 1.13.2.1 2017/06/29 08:31:01 misho Exp $
+# $Id: configure.in,v 1.14 2017/06/30 08:41:50 misho Exp $
 #
 AC_INIT(embedtools, 2.9, misho@elwix.org)
 AC_CONFIG_SRCDIR([src/cfexec.c])