fix travis CI conf