Fix travis installation