Repair setup.py