siegeengine: remove GNOME 3.12 unmasks