VERSION: Disable GIT_SNAPSHOT for the 4.12.0 release...