fix some PyInstaller woes