Thank you Stephane for the investigation. The outputs that you and Robert attached look good to me. I will also test the patch myself later today or tomorrow.

Stefan earlier mentioned that the issue may also exist on some GNU/Linux platforms. I wonder if that also needs to be addressed in this bug report.