changed default terminal to gnome-term