avoid index std::vector, which is slow for some compilers (path64)