Merge upstream LevelDB 1.17.