Tested the setuptools in the distro: good to go.