Fix travis file.