import_DWARF_prototypes() now takes JUST a lib argument