Fix some version stuff in setup.py