riscv_ilp32d: libmpc.so.3
