fixed encoding messed up by a Far Manager plugin which gets it wrong while trimming line ending whitespace