More usual effects of a new configure.in
diff --git a/configure b/configure
index 8373b94..77ad0ab 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-# From configure.in Revision: 1.51 
+# From configure.in Revision: 1.52 
 
 # Guess values for system-dependent variables and create Makefiles.
 # Generated automatically using autoconf version 2.12