riscv_lp64d: libgmp.so.10 libgmpxx.so.4
