tools/run_elf.sh: filter out debug output.