Tweaking travis file