is $got_mtime, $mtime, "mtime set correctly"; # added lines follow note "File $filename"; system "stat $filename"; system "stat -f $filename"; # added lines before this };