Don't dump rocksdb version on IOS