Akim Demaille writes:
Thanks a lot to both of you for the report! Could you please check this tarball to confirm it does address the issue for you too?
I can only test on one system today, but it works fine. I also reproduced the problem on a friend's laptop and the patched version builds fine for him too. I will be able to test on the other systems on Monday but it does look fixed to me. Merci beaucoup! Claudio
