tweaking travis file