thank you very much for reporting this. As we're all working on non-windows systems, we would not have found out by ourselves!