Fix travis setup