diff --git a/scripts/install_opam.sh b/scripts/install_opam.sh old mode 100644 new mode 100755