fix z3 download path