Correct version for old keybind api on Gnome-Shell