fix z3 works on both windows and linux