riscv_lp64: libmpc.so.3
