gtkui: possible workaround for gtk crash described in bug #1099