ELF expert's help/advice/opinion wanted for two bugs

[Jeroen van Wolffelaar <jeroen@wolffelaar.nl>]

Hi,

Lacking deep knowledge of the ELF file format myself, I'm looking for
someone with better knowledge of it to advice on these bugs:

http://bugs.debian.org/249435 : lintian

  objdump -T gives "Invalid operation" on some ELF files in
  /usr/lib/debug. Is this objdump at fault? On files without a dynamic
  section, usually objdump simply doesn't display the dynamic symbols,
  so why does it error out here?

  Example:

  $ file /usr/lib/debug/usr/lib/gconv/ISO8859-1.so
  ELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), not
  stripped
  $ objdump -T /usr/lib/debug/usr/lib/gconv/ISO8859-1.so
  (...)
  objdump: ISO8859-1.so: Invalid operation
  $

http://bugs.debian.org/256900 : ocaml

  The ocaml compiler produces executable elf's, but once stripped, they
  stop working. The issue is the placement of the bytecode, it
  apparantly is seen by strip as a needless section, good for debugging
  only or something.

  Advice on how to fix ocaml is welcome (or strip, if that is at fault,
  but that seems unlikely to me).

Thanks!
--Jeroen

-- 
Jeroen van Wolffelaar
Jeroen@wolffelaar.nl (also for Jabber & MSN; ICQ: 33944357)
http://Jeroen.A-Eskwadraat.nl