const char* GIT_REV="bafd67b";
const char* GIT_TAG="";
const char* GIT_BRANCH="master";
const char* BUILD_TIME="2020-09-28 19:57";