x86_x32: libman-2.13.0.so libmandb-2.13.0.so
