tweaking travis config some more again