Revert "removed #include <vector> as it was not used"

This reverts commit bd8751b067e644eb8d3622e82dcc2ea295111182.