Re: [PATCH 5/6] configure: allow picking up a dedicated dwarf version from command line