Re: src/menubar-gtk.c - do we really need this stderr_out() call?