improved unmanaged_ptr
unmanaged_ptr misbehaved in std::set, noticed in Graph::getEdges()