fix leveldb.cpp