Tweaked travis setup