restore gnome 3.14 mask too broken