fix for DwarfPool