Make compatible with GNOME Shell 3.12

Fixes: #17