Link in libgmp