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