More travis settings.