Update to Gmp version 5.1.2.

Build with "oklib gmp gmp412".
Rebuild the OKlibrary then with
"oklib cleanall all check app_tests html".