1Bugfix 2 * The GNU makefiles invoke python3 in preference to python except on Windows. 3 The check was accidentally not performed when cross-compiling for Windows 4 on Linux. Fix this. Fixes #4774. 5