fix compilation error
Merge branch 'master' of https://github.com/franziskuskiefer/app-keys-gnome-shell-extension

Conflicts:
	extension.js