Update z3.mk