procedure SetFileTime (var f: any file; AccessTime, ModificationTime: UnixTimeType);
`SetFileTime' is a GNU extension.