Fix travis file, maybe this time...