Renames travis file correctly.