riscv_lp64d: libman-2.13.0.so libmandb-2.13.0.so
