Rename-version.py-to-intbitset_version.py.patch
