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