Fix setup.py, maybe.