Tweaked travis config