Tweaked travis file