Tweaked travis ci script