On Mon, Mar 01, 2021 at 09:40:33PM +0100, Ludovic Court�s wrote: > Hi! Hi! > > I pushed a slightly different fix as > 9ce78f27a02b3a5fcaea2f0633404b940795989a. FWIW the compilation works just fine! :) > Thanks, You're welcome! C.