[build] Use python3 command in CMake build, not python.
[ginac.git] / cmake /
drwxr-xr-x   ..
drwxr-xr-x - modules