Changed the default result file name to not have colons, since
Windows does not like them.