travis settings file tweaks