gcc patch #131047:  1 fix