Forgot to rename Travis CI config in .travis.yml