const char* git_sha1 = "@@GIT_SHA1@@";