updated for version 7.2-251
diff --git a/src/auto/configure b/src/auto/configure
index 1049c0c..85d7da5 100755
--- a/src/auto/configure
+++ b/src/auto/configure
Binary files differ