Add binary for z3