It seems that push_back of CharacterVector is much slower than std::vector< std::string >