[Trusty] mask Gnome-3.12 packages