ubuntu: xmodmap customized for ubuntu