Add support for gnome-terminal