Fix x11/gnome-terminal3