gnome-terminal-3.14.1 + transparency patch