proteus launch script uses bash, not sh

This is so it can handle the arguments correctly