Fix the VERSION file.