Edit File: elf_getshdrnum.3.gz