Gnome 3.6: hibernating and lid settings