fix for gnome-terminal detection