updated for version 7.0001
diff --git a/src/configure b/src/configure
new file mode 100755
index 0000000..be225ed
--- /dev/null
+++ b/src/configure
@@ -0,0 +1,4 @@
+#! /bin/sh
+# run the automatically generated configure script
+CONFIG_STATUS=auto/config.status \
+	auto/configure "$@" --srcdir="${srcdir-.}" --cache-file=auto/config.cache