reluctantly duplicate version in setup.py