X11 and ctrl key