Re: [PATCH 2/6] robustify: elflint.