BTW,

The windows version of the same code is failing in the _read() in the same way on the same input file as expected..