On Mon, 8 Nov 2021 at 18:05, David Fernandez <david.fernan...@sen.com> wrote: > > ../configure \
> --enable-lto \ Does disabling LTO make a difference? That's about the only thing in the configure options that stands out as maybe making a difference. -- PMM
