missing typedef for std::vector compatibility