fixes compilation of ui/gtk.c