Run bash-specific shell scripts with bash, not sh.