Yeah I bet it is the theme. To display the messages in 'theme' format in place of the default form it will use echo and haltdef at some point.
That echo command should use the switches for highlight, beep/flash, strip, etc, (as in: echo -tmbflir <target> <text>) but obviously doesn't.
