diff --git a/scripts/fetch_submodules.sh b/scripts/fetch_submodules.sh old mode 100644 new mode 100755 diff --git a/scripts/make_command-t.sh b/scripts/make_command-t.sh old mode 100644 new mode 100755