Merge pull request #4844 from ligfx/fixgitcheck CMake: re-run if .git/$(symbolic-full-name HEAD) changes
