const char* INTERIM_COMMIT = "@INTERIM_COMMIT@"; const int LEN_INTERIM_COMMIT = sizeof("@INTERIM_COMMIT@") - 1; const char* COMMIT_DATE = "@COMMIT_DATE@";