patch setup.py for later upload to PyPI