Normalize indents to 4 spaces
Upgrade to support gnome-shell 3.8