diff --git a/configure b/configure index 3f6c13e..3f6c13e 100644..100755 --- a/configure +++ b/configure