gnome virtual terminal emulation library