I experience the same bug. I recently moved from i386 to amd64, so I think it's 64-bit related. Also can't reproduce with menu key on german keyboard layout.