add windows binaries for z3