Fix setup.py to install the right thing