Change location of gmp-5.1.3 download.