[Commits] 6cbde735446: rocksdb.check_ignore_unknown_options fails on OS X again