if (st1.st_mtime != st2.st_mtime)
difference("Modification times of `%s' (%x) and `%s' (%x) are "
"not the same",
file1, st1.st_mtime, file2, st2.st_mtime);
if (st1.st_mtime != st2.st_mtime)
difference("Modification times of `%s' (%x) and `%s' (%x) are "
"not the same",
file1, st1.st_mtime, file2, st2.st_mtime);