gmp/gmp-4.1.2-autoconf.patch