On Tue, 14 May 2019 at 23:04, Noam Postavsky <npostavs@gmail.com> wrote:

I can reproduce on my Windows machine, but not on GNU/Linux. Maybe some
line endings are getting converted?

Thanks, that seems to be it: the attached patch gets rid of the bug (but obviously isn't TRT).