riscv_lp64d: libc.so libgmp.so.10
