fix Issue 13241 - [REG2.067a] writeln no longer flushes stdout
Merge pull request #2436 from CyberShadow/fix13241

fix Issue 13241 - [REG2.067a] writeln no longer flushes stdout