const char* GIT_REV="05a0f6f"; const char* GIT_TAG=""; const char* GIT_BRANCH="master"; const char* BUILD_TIME="2020-11-06 17:57";