On Tue, 5 Apr 2022, RĂ©mi Bernon wrote: [...]
I think the build failure is unrelated and caused by the build VM being out of date.
Indeed. One of my patches broke the Reconfig.pl script so the build failed and the source did not get updated. I have sent a patch for it.