Re: gnome-terminal benchmark