Switch from XTerm to gnome-terminal by default