Update for GNOME 3.8

Fixes preferences issues.