temporary fix for std::set and adding missing file