Fix travis file for reals