Tweaked travis script