.so file for z3