Edit File: pthread_getcpuclockid.3.gz