Bug: Export log filename uses colons for the filename instead of periods

[lexum0]

When using skip export the log is exported using a time formatting with colons ':' as HH:mm:ss when it should be using periods '.' HH.mm.ss.

The result is that the file is renamed by the system, and copying the path from the terminal to open the file won't work because the file has been renamed (no longer matching)