Fixed gnome-terminal override