Fix setup.py: