--- configure.orig	Thu Jun 13 17:04:03 2002
+++ configure	Wed Jul  3 12:46:50 2002
@@ -12084,10 +12085,10 @@
 s,@INSTALL_DATA@,$INSTALL_DATA,;t t
 s,@PACKAGE@,$PACKAGE,;t t
 s,@VERSION@,$VERSION,;t t
-s,@ACLOCAL@,$ACLOCAL,;t t
-s,@AUTOCONF@,$AUTOCONF,;t t
-s,@AUTOMAKE@,$AUTOMAKE,;t t
-s,@AUTOHEADER@,$AUTOHEADER,;t t
+s,@ACLOCAL@,/usr/bin/true,;t t
+s,@AUTOCONF@,/usr/bin/true,;t t
+s,@AUTOMAKE@,/usr/bin/true,;t t
+s,@AUTOHEADER@,/usr/bin/true,;t t
 s,@MAKEINFO@,$MAKEINFO,;t t
 s,@SET_MAKE@,$SET_MAKE,;t t
 s,@CC@,$CC,;t t