Windows build is broken

Stream: lean4 dev

[Gabriel Ebner]

It appears that a change to the gmp package landed in msys2 which breaks static linking. https://github.com/msys2/MINGW-packages/commit/f31bdf893a9a2c13fe924e58d6cb0d94891109d9 https://github.com/leanprover/lean4/actions/runs/4027099509/jobs/6922421689 :right: lean4#2067