Support for GNOME 3.8

Fixes #92