small modifications in setup.py