dirty & masked gnome-terminal 3.11