diff --git a/configure b/configure index 8c96a0f..8c96a0f 100644..100755 --- a/configure +++ b/configure