Fix travis profile