setup.py: minor tweaks