Rename VERSION.txt to VERSION