Fix travis settings.