Yikes. Objdump is what reads binary files (who knows who was doing that, but it doesn't look good that it failed).