Fix version.py again