fix mingw32-libgmp