diff --git a/build b/build old mode 100644 new mode 100755 diff --git a/compile b/compile old mode 100644 new mode 100755 diff --git a/run b/run old mode 100644 new mode 100755