clone of leveldb-1.12.0