Travis CI: Bash script fix #2