VERSION: Disable GIT_SNAPSHOT for the 4.13.0rc1 release.