correct Travis file name