update z3