Fix travis file