setup.py: misc changes