VERSION: Disable GIT_SNAPSHOT for the 4.17.12 release.