Fixes std::set problem for my Windows

* std::set replaced (in one position) by std::vector
(Windows 7)