[PATCH 2/6] robustify: elflint.