no need for the pyinstaller-dev contents