fix bug. when gmp version is 6.2.1#5

zjwangmin wants to merge 2 commits into

libntl:mainlibntl/ntl:mainfrom

zjwangmin:mainzjwangmin/ntl:mainCopy head branch name to clipboard