Replace Array with std::vector in inter.h.