updated for version 7.2b-014
diff --git a/src/auto/configure b/src/auto/configure
index 1843a9e..b965261 100755
--- a/src/auto/configure
+++ b/src/auto/configure
Binary files differ