Fix up setup.py per mgood's suggestion