Editing File: /usr/share/man/man2/timer_gettime.2.gz