gnome-terminal 3.12.0 with transparency support