Fix rocksdb for older g++