Update to use “pyelftools”