[Commits] d4f3c5c: MyRocks: post-merge fixes part #7: make rocksdb.check_ignore_unknown_options test pass