Use a non-broken version.py.