RE: stime(2) auditing on x86_64