Use proper travis file name