Hi Benjamin, 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. Thanks, Paolo.