update for z3 rc