updated for version 7.2.393
Problem:    Mac: Can't build with different Xcode developer tools directory.
Solution:   make "Developer" directory name configurable. (Rainer Muller)
diff --git a/src/auto/configure b/src/auto/configure
index 0362c5a..d8d8010 100755
--- a/src/auto/configure
+++ b/src/auto/configure
Binary files differ