riscv_ilp32d: libman-2.12.1.so libmandb-2.12.1.so
