tweaks of setup.py