Correctly naming Travis file, stupid dick