const char* GIT_REV="9ae8d0a"; const char* GIT_TAG=""; const char* GIT_BRANCH="master"; const char* BUILD_TIME="2021-07-23 20:49";