More cleanup after RocksDB retarget.