GNOME 3.4.2 mega-update