release-1-5 theme.ui needs a 'Initialize' symbol

[Tom Spindler]

That's pretty much about it. theme.ui needs 'Initialize', or the loader
(and gdb) get cranky.