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).