Edit File: clock_gettime.3.gz