/usr/lib/libmpfr.so.6.2.2 libgmp.so.10,libc.so.6,ld-linux-riscv32-ilp32d.so.1
