diff --git a/server/configure b/server/configure old mode 100644 new mode 100755 diff --git a/src/configure b/src/configure old mode 100644 new mode 100755