hack to support keypad control keys (Home, End, PageUp, Arrows, ...) under Linux