The setup was needlessly complicated. I think that's because it predates the time where std::shared_ptr could be used.
enabled an automatic merge when the pipeline for 9ad97e83 succeeds
merged
mentioned in commit 5147054d