Fix for Gnome-shell 3.8
Merge branch 'gnome-shell-3.8' of https://github.com/acepero13/app-keys-gnome-shell-extension