leveldb compilation fix