> On Jun 24, 2020, at 15:48, Walter <a20012251 at gmail.com> wrote: > > I'll revert this patch. This seems to be the reason Great thanks! What’s puzzling is that on some runs, it seems to find <algorithm>, but on others it does not. Cheers, Florian