GNOME-Shell 3.10.1 port

Fixes #12 ...