Fix .travis.yml, hopefully for the last time