Fix erroneous filename in .travis.yml