Fix up some setup.py stuff