Revert "added shebang to run.sh"

This reverts commit a312d07cb57e939d0e19de43f4ddf84fcaae7a02.

Problematic commit: the run.sh was generated automatically, it should not
be changed directly...