The problem seems to have already been fixed by check-in [915bfd99fec69f978].
I have posted the latest binaries on the website for ease of downloading.

Thank you for an exceptionally clear bug report.