Fix setup.py to generate the needed files