There is now an updated release candidate available for download. Please try it. ftp://ftp.swox.com/private/gmp/gmp-4.1.3-rc2.tar.bz2 -- Torbjörn