windows:File.mtime returns the modification Time of the file with microseconds
