riscv_ilp32d: libc.so libgmp.so.10 libmpfr.so.6
