diff --git a/script/repl b/script/repl old mode 100644 new mode 100755 diff --git a/script/run b/script/run old mode 100644 new mode 100755 diff --git a/script/test b/script/test old mode 100644 new mode 100755