Fixing travis file name