updated for version 7.2a
diff --git a/src/auto/configure b/src/auto/configure
index 386fc81..a0f3e92 100755
--- a/src/auto/configure
+++ b/src/auto/configure
Binary files differ