[Commits] 261d475: Post-merge fixes: rocksdb.check_ignore_unknown_options