corrige la compilation de ui/gtk.c