making script executable

This fixed the fact that this script was not executable from within the shell.