Packages with the z3 use flag