fix travis CI