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