mtime of a file using date -r