- make it works with gnome-shell-3.17.90 (needs manual activation in https://extensions.gnome.org/local/ though)