error building z3 in visual studio (apparently because of a python script)

[oferst]

Just downloaded from github the latest version into visual studio.
Inside visual studio 2022, building z3.exe from cmake, one of the python scripts seems to have a bug. It results in

------ Build started: Project: CMakeLists, Configuration: Debug ------
[0/748] Generating "C:/Users/Ofer/source/repos/z3/out/build/x64-Debug/src/math/polynomial/algebraic_params.hpp" from "algebraic_params.pyg"
/usr/bin/python3: can't open file '/cygdrive/c/Users/Ofer/source/repos/z3/out/build/x64-Debug/src/math/polynomial/C:/Users/Ofer/source/repos/z3/scripts/pyg2hpp.py': [Errno 2] No such file or directory

It seems to concatenate directory names. I do not know which script does this so I can't debug it further.

Note: initially it failed because it searched for c:\cygwin64\bin\python3 which I did not have.
In my c:\cygwin64\bin\ there was python3.9.exe, so I added with mklink a python3 linked to python3.9.exe.
I hope this fix does not cause these problems.