fixes a problem in setup.py