const char* GIT_REV="3cec93e";
const char* GIT_TAG="";
const char* GIT_BRANCH="master";
const char* BUILD_TIME="2020-10-26 18:31";