set gnome-terminal as default terminal instead of xterm