Set VERSION also when the source directory is a git submodule using a ".git" file pointing to the repo. directory.