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