Tweaked travis settings