Edit File: clock_gettime.2.gz