Isso é meio que um hack feio, mas deve funcionar:
-
Vá para
/usr/share/X11/xkb/symbols/
(é onde eu encontro os arquivos de layout de teclado no Ubuntu 12.04, mas suponho que 12.10 deve ser semelhante), -
Encontre seu arquivo de layout (acho que para o teclado dos Estados Unidos ele será simplesmente
us
), -
Adicione esta linha lá:
key <LCTL> { [ Super_L ] };
(acho que pode ir direto para a primeira "seção" desse arquivo), -
Faça o logout e faça login novamente.