Download binary file, gmp-6.2.1.tar.xz