uncommented z3 build