Gasket adapted version of VTE (terminal emulator widget for the GNOME project)