gnome-terminal: add it for gtk+-3