handle non-existant gnome-terminal when solarizing