back to using z3 binary by default