Correct name of the travis file.