On Sun, Dec 14, 2025 at 08:50:57PM +0100, Leonardo Taccari wrote: > Are these CONFIGURE_ARGS changes intended? (sounds like debug left-over > and probably worth to add them as a possible "debug" option though!) Oops, no, as you guest - just debug leftovers. I reverted them. Martin