Recording the Git hash at configure time
