Make setup.py source distribution work