Update full_z3.mk