Fix mismatch between travis.yml and travis-ci.sh