switched to gnome-terminal