take that, gnome-terminal