Make sure version.py runs succesfully even if git is not installed.