Re: [PATCH 1/5] addr2line: Split options in input and output format groups.