Workaround for STL std::set ordering bug (?)