riscv_ilp32: libgmp.so.10 libgmpxx.so.4
