Remove z3 package