scripts/git_revision.py
Previously, this file had to be manually deleted if you wanted to have a new version compiled in.