z3 soname bump