Update for GNOME Shell 3.10
Missed version 3 in previous upload - skip to v4