That’s more than just a little bit annoying, so I’ve tracked down how to solve that as well.
From this AskUbuntu post, it turns out that xmodmap is no longer used and instead xkb is what really needs to be updated. The process is simple enough, edit:
/usr/share/X11/xkb/symbols/pc
find the following block of text:
key <RTSH> { [ Shift_R ] }; key <RCTL> { [ Control_R ] }; key <RWIN> { [ Super_R ] }; key <MENU> { [ Menu ] };
And change <RCTL> to Menu and <Menu> to Control_R.
Reboot and voila, the right control key now works like a menu button.
Of course, this is system wide so if you have multiple users logging in, they all get this.
One note is that the linked article does mention to delete the compiled keymaps, but there were none on my system so there was nothing to delete.