Find the static version of libgmp to avoid any external dependency