DIP correction of CRTL stub symbols