--- level5.old	2006-10-15 23:05:03.000000000 -0400
+++ level5	2006-10-15 23:34:37.000000000 -0400
@@ -12,7 +12,7 @@
 xkb_symbols "rctrl_switch" {
   key <RCTL> {
     type[Group1]="ONE_LEVEL",
-    symbols[Group1] = [ F35 ]
+    symbols[Group1] = [ 0xfe11 ]
     };
-  modifier_map Mod5   { F35 };
+  modifier_map Mod3   { 0xfe11 };
 };