gnome3: downgrade 3.12 packages to 3.10