<div dir="ltr">@Kurt Roeckx: another build leads to the same result.<div>The full log is attached below.<br><div class="gmail_extra"><div class="gmail_quote"><br></div><div><br></div>-- <br><div class="m_-1680038148108385724gmail_signature" data-smartmail="gmail_signature">Jean-Christophe</div>
</div></div></div>