Use the GMP library built in ghc/rts, not the system-supplied one, since that doesn't exist on Cygwin.