const char* GIT_REV="21a59fb"; const char* GIT_TAG="v7.1.1"; const char* GIT_BRANCH="master"; const char* BUILD_TIME="2021-06-17 19:47";