Compilation with rocksdb 3, make rocksdb backend default and optional