recode of nm and objdunp binaries