diff --git a/env b/env
old mode 100644
new mode 100755
diff --git a/run_single_test.sh b/run_single_test.sh
old mode 100644
new mode 100755
diff --git a/setup_env.sh b/setup_env.sh
old mode 100644
new mode 100755