GMP 4.1.1 has now made it to the GNU ftp server: ftp://ftp.gnu/org/gmp/gmp-4.1.1.tar.bz2 This is purely a bug fix release. -- Torbjörn