diff --git a/bin/mps b/bin/mps old mode 100644 new mode 100755