ui/gtk: Fix build with older versions of gtk