Please upload these files to the release area pub/gnu/gmp. ftp://ftp.swox.com/private/gmp/gmp-4.1.3.tar.gz ftp://ftp.swox.com/private/gmp/gmp-4.1.3.tar.bz2 Torbjörn