Travis CI: Bash script fix