On 1/31/21, José Abílio Matos <jamatos at lyx.org> wrote: > On Sunday, January 31, 2021 12:12:41 PM WET Enrico Forestieri wrote: >> Does the attached patch work for you? > > Yes. Without the patch "make check" fails, with the patch it works. > Thanks José and Enrico for looking into this. I can confirm that the patch fixes compilation on Ubuntu as well. Liviu