On 5/15/25 10:48 AM, Jean-Marc Lasgouttes wrote: > My question is thus: Riki, do you _need_ this to work, or is it just > that cmake is proposing the wrong defaults? I was just using the defaults. Riki