fix  travis CI