const char *CMDLINE_BUILD_TIME = "19:36:14";
const char *CMDLINE_BUILD_DATE = "Aug 25 2001";