Fix travis ci settings.