Using PyInstaller (or similar) to create an executable