small fix to linux xmodmap