Fix travis installation problem