Final Gnome 2.12 version released