but a benchmark should use leveldb?