So the problem comes from the fact that those two keys are mapped to other keycodes. And that's because they have different key names under win32 than they do in the X11 keymap, so we end up assigning a new keycode for them.

r6807 fixes that using the existing client-side key name translation code from #588 (will backport).