use gnome-terminal for itsalltxt wrapper