Added #include <vector> to avoid compilation errors with clang