Как добавить сочетание клавиш с модификатором MOD3 в KDE?

Мне нравится устанавливать правильное управление как другой модификатор, mod3, исправляя /usr/share/X11/xkb/symbols/pc следующим образом:

--- orig.txt    2018-06-10 15:36:53.479009368 +0200
+++ mod.txt 2018-06-10 15:42:08.995666676 +0200
@@ -34,8 +34,9 @@
     // Beginning of modifier mappings.
     modifier_map Shift  { Shift_L, Shift_R };
     modifier_map Lock   { Caps_Lock };
-    modifier_map Control{ Control_L, Control_R };
+    modifier_map Control{ Control_L };
     modifier_map Mod2   { Num_Lock };
+    modifier_map Mod3   { Control_R };
     modifier_map Mod4   { Super_L, Super_R };

     // Fake keys for virtual<->real modifiers mapping:

После этого я могу использовать правое управление вместе со стрелками для управления виртуальными рабочими столами (например, gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Mod3>Down']" ])

Этот метод работает в Ubuntu 18.04 под Gnome 3, но KDE 5 Plasma, похоже, полностью игнорирует модификатор Mod3. Кому-нибудь удалось связать любой другой модификатор клавиатуры, кроме Shift, Ctrl или Alt в KDE? Если да, то как?