Use gnome-terminal as default terminal