Made git version checking robust against extra non-version-related tags, such as those added by Jenkins.  Fixed default version number fallback.