compiled to single-file executable using pyinstaller