bugfix for setup.py