Rename travis file correctly