const char GIT_Version[] = "git:v4.2.5";
const char *git_version(void) {
    return GIT_Version;
}