Fix travis ci settings