MD5 (gmp-4.2.2-core2.tgz) = 3b4470e4212925da45132fc0ad203d00