mask gnome terminal again :(