Comment 7 for bug 49358

Ok, the following patch seems to work for me, making my
Right Control key work as expected. Somehow, a note should
be taken somewhere to remember to change hexadecimal to
meaningful names, when they will be in keysyms.h.