Fork of the good ol' gnome-terminal 3.6.2