> not really a problem with your fix, and sorry for not having noticed > that before, but at the moment we don't really have unique_ptr in > mainline. Of course we are working on it, but probably better be safe > and not mentioning it, for now. Ack! Got it. I'll edit this today. best, benjamin