You can now use the binaries in the source tree (may not work due to different distributions having different ABI versions of libgmp available!) on Linux, or if that doesn't work, I detailed a very simple 2-command process for compiling it on Linux (from what I can tell it works on both Fedora and Ubuntu both 32 and 64 bit), see here.