diff --git a/scripts/linux/download_prover.sh b/scripts/linux/download_prover.sh old mode 100644 new mode 100755 diff --git a/scripts/linux/run_client.sh b/scripts/linux/run_client.sh old mode 100644 new mode 100755 diff --git a/scripts/linux/run_host.sh b/scripts/linux/run_host.sh old mode 100644 new mode 100755