Fork of Google's leveldb (https://code.google.com/p/leveldb/)