Use mtime rounded to 2 decimal places to avoid spurious/needless file refetching due to os.utime() weirdness on (at least) WIN32