const char* rocksdb_build_git_sha = "88724cc719784c78df0c0ff87cca7cafd7abbe37"; const char* rocksdb_build_compile_date = "2017-02-29";