Having a file VERSION is definitely my preferred option and then a tag in the Git repository as well. Yes there are two places the version is specified, but I think this is the least worst way of working.