const char *vcstag = "@VCS_TAG@";