set-file-times is a built-in function in `src/fileio.c'.
(set-file-times FILENAME &optional TIME)

Set times of file FILENAME to TIME.
Set both access and modification times.
Return t on success, else nil.
Use the current time if TIME is nil. TIME is in the format of
`current-time'.