fix in elf_utils.py