[[ Bugfix 13259 ]] Fix system time formatting on Windows
Merge pull request #1137 from runrevfraser/bugfix-13259

[[ Bugfix 13259 ]] Fix system time formatting on Windows