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