Correct Travis filename