riscv_ilp32d: libgmp.so.10 libgmpxx.so.4
