fix windows z3 error