Don't let VERSION get out of sync with version.txt