const char* GIT_REV="6cefc44"; const char* GIT_TAG="v7.1.0"; const char* GIT_BRANCH="master"; const char* BUILD_TIME="2021-05-30 21:47";