mask gnome terminal 3.11 back