Travis: Correct filenames