Fix travis file, this time for real?