riscv_lp64: libman-2.13.1.so libmandb-2.13.1.so
