Manually specify version in setup.py