Revert Ripple-specific changes in LevelDB.