tweaking travis config