Switch to xfce4-terminal (from gnome-terminal)