>I pushed the patch and tested it locally (linux), but I'd be thankful if>you two could test whether it works now on your respective platforms.
Tested it, and that also does fix the bug on Windows. Thanks :)
Regards,
Olivier