still tweaking travis config