tweaking travis script