Tweak math/mingw32-libgmp version 5.1.2