renames a travis file