still tweaking travis CI