Updated versions
Merge src/leveldb changes for LevelDB 1.15