Fix travis file for real