Fix for the numlock not working under linux (X11)