Windows DLLs: gmp is in the integer-gmp package now.