Michael Ströder wrote: > I'm using 4.75 on Linux and maybe that's the difference. Confirmed, fails for me with 4.74 on Linux too (from the RedHat RPM from rawhide). Julio