Fixing missing serialization for std::vector