gnome-terminal as default terminal