xmodmap config: swap Alt_R and Ctrl_R