fixing travis CI