Fix travis builds