Added clumsy support for gnome-terminal