Added missing precompiled binary for z3