<div dir="ltr"><div>Should apparently apply this upstream fix:</div><div><br></div><div><a href="https://git.savannah.nongnu.org/cgit/getfem.git/commit/?id=cb207a37436e8bb561c14364e6041bc849798592">https://git.savannah.nongnu.org/cgit/getfem.git/commit/?id=cb207a37436e8bb561c14364e6041bc849798592</a></div></div>