Tweaking travis ci