4003 dldump() can't deal with extended sections

*** 68,77 ****
--- 68,79 ----
  @ MSG_ELF_GETDATA       "%s: elf_getdata"
  @ MSG_ELF_GETEHDR       "%s: elf_getehdr"
  @ MSG_ELF_GETPHDR       "%s: elf_getphdr"
  @ MSG_ELF_GETSCN        "%s: elf_getscn"
  @ MSG_ELF_GETSHDR       "%s: elf_getshdr"
+ @ MSG_ELF_GETSHDRNUM    "%s: elf_getshdrnum"
+ @ MSG_ELF_GETSHDRSTRNDX "%s: elf_getshdrstrndx"
  @ MSG_ELF_NEWDATA       "%s: elf_newdata"
  @ MSG_ELF_NEWEHDR       "%s: elf_newehdr"
  @ MSG_ELF_NEWPHDR       "%s: elf_newphdr"
  @ MSG_ELF_NEWSCN        "%s: elf_newscn"
  @ MSG_ELF_NEWSHDR       "%s: elf_newshdr"