Link libgmp.a statically into libHSrts.dll on Windows