Don't use too old a setuptools in jenkins