Using xmodmap to remap Alt_R to Mod4