fix travis file name