tweaking travis again...