update z3 and z4