Edit File: clock_getcpuclockid.3.gz