retype travis file