fix Issue 13241 - [REG2.067a] writeln no longer flushes stdout
fix up issue 13313 - Support database name to Windows timezone name conversion
Merge pull request #2436 from CyberShadow/fix13241

fix Issue 13241 - [REG2.067a] writeln no longer flushes stdout
Merge pull request #2438 from 9rnsr/fix_timezone

fix up issue 13313 - Support database name to Windows timezone name conversion