Fix travis file extension