VERSION: Disable GIT_SNAPSHOT for the 4.20.0rc4 release.