travis settings tweaks