VERSION is better than version.txt.