diff -ur xkeyboard-config-1.3/symbols/group xkeyboard-config-1.3.win/symbols/group
--- xkeyboard-config-1.3/symbols/group	2008-09-15 11:56:19.000000000 +0200
+++ xkeyboard-config-1.3.win/symbols/group	2008-09-15 11:59:39.000000000 +0200
@@ -30,14 +30,8 @@
 // pc104 or pc105.
 partial modifier_keys
 xkb_symbols "win_switch" {
-  key <LWIN> {
-    symbols[Group1] = [ Mode_switch, Multi_key ],
-    virtualMods= AltGr
-    };
-  key <RWIN> {
-    symbols[Group1] = [ Mode_switch, Multi_key ],
-    virtualMods= AltGr
-    };
+    include "group(lwin_switch)"
+    include "group(rwin_switch)"
 };
 
 // using the group(lwin_switch) map, the left Windows' logo key
@@ -47,6 +41,7 @@
 partial modifier_keys
 xkb_symbols "lwin_switch" {
   key <LWIN> {
+    type[Group1]="PC_ALT_LEVEL_2",
     symbols[Group1] = [ Mode_switch, Multi_key ],
     virtualMods= AltGr
     };
@@ -59,6 +54,7 @@
 partial modifier_keys
 xkb_symbols "rwin_switch" {
   key <RWIN> {
+    type[Group1]="PC_ALT_LEVEL_2",
     symbols[Group1] = [ Mode_switch, Multi_key ],
     virtualMods= AltGr
     };