use an installed pyinstaller