riscv_ilp32d: libman-2.13.0.so libmandb-2.13.0.so
