riscv_lp64: libgmp.so.10 libgmpxx.so.4
