fix travis CI configure file