Tweaked travis ci configuration