Avoid the pip/setuptools problem.

Current pip and old Debian setuptools don't play well together.