UBSan: print 'undefined-behavior' instead of 'runtime-error' in report summary