removed z3 from the package