fix z3 script