Bug#577145: Every second key stroke falsely interpreted

[Paul Mittelstädt <s5569359@mail.inf.tu-dresden.de>]

Thank you for you rapid answer, Julien.

Output of 'ldd xkbcomp'
	linux-gate.so.1 =>  (0xb78a1000)
	libX11.so.6 => /usr/local/lib/libX11.so.6 (0xb779b000)
	libxkbfile.so.1 => /usr/lib/libxkbfile.so.1 (0xb7779000)
	libc.so.6 => /lib/i686/cmov/libc.so.6 (0xb7631000)
	libXau.so.6 => /usr/lib/libXau.so.6 (0xb762e000)
	libXdmcp.so.6 => /usr/lib/libXdmcp.so.6 (0xb7629000)
	libdl.so.2 => /lib/i686/cmov/libdl.so.2 (0xb7625000)
	/lib/ld-linux.so.2 (0xb78a2000)

Output of 'xkbcomp :0 -' before 'setxkbmap us'
http://paste.debian.net/68342/

Output of 'xkbcomp :0 -' after 'setxkbmap us'
http://paste.debian.net/68344/