Fill in bits of setup.py