Você pode colar isso no terminal para fazer a alteração:
xmodmap -e 'keycode 108 = Control_R' && xmodmap -e 'add Control = Control_R'
e isso para desfazer:
xmodmap -e 'keycode 108 = ISO_Level3_Shift NoSymbol ISO_Level3_Shift'
Além disso, você pode verificar os manuais de "xev" e "xmodmap" para mais informações.