Finally, really fix line-ending issue on Windows.

Thanks Jan!