Fixing bad Travis CI filename