The PyInstaller CI job now works around a pip/pyinstaller incompatibility.