tweaking travis settings