On Thu, May 13, 2021 at 11:02:42PM +0200, Ludovic Court�s wrote: > The log you posted is mangled. Do you have a clearer one at hand? I downloaded it from here, and it works: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=48392#5 But now I've attached it uncompressed; it's only 281 KiB.