debian/0001-setuptools.patch
