diff --git a/forcodexers/download_prover.sh b/forcodexers/download_prover.sh
old mode 100644
new mode 100755
diff --git a/forcodexers/run_bootstrap.sh b/forcodexers/run_bootstrap.sh
old mode 100644
new mode 100755
diff --git a/forcodexers/run_host.sh b/forcodexers/run_host.sh
old mode 100644
new mode 100755