diff --git a/openbis/dist/server/install.sh b/openbis/dist/server/install.sh
index 41abbc9c58077d92ccd07fdf0316b1a3bfe1c89a..7b5eebd2cc3e1b4b9fb9971b9b850503c49cdc0e 100755
--- a/openbis/dist/server/install.sh
+++ b/openbis/dist/server/install.sh
@@ -102,6 +102,7 @@ cp -p "$installation_folder"/startup.sh "$JETTY_BIN_DIR"
 cp -p "$installation_folder"/shutdown.sh "$JETTY_BIN_DIR"
 cp -p "$installation_folder"/setup-env "$JETTY_BIN_DIR"
 cp -p "$installation_folder"/passwd.sh "$JETTY_BIN_DIR"
+chmod u+x $JETTY_BIN_DIR/*.sh
 
 # Create a file called 'jetty.properties'.
 JETTY_PROPERTIES="$JETTY_BIN_DIR"/jetty.properties