Fixing bugs in setup.py