Restaurar o tema padrão do Gnome Shell

Question

Eu uso o Gnome 3.16 no Ubuntu 15.10, mas testei o KDE e o Cinnamon ontem.

Agora, as janelas do Gnome Shell não têm mais cantos arredondados (há também outras diferenças visuais no tema):

Eu tentei:

• Removendo completamente o KDE e o Cinnamon.
• apt-get install --reinstall gnome-themes-standard
• rm -rf .gnome .gnome2 .gconf .gconfd .metacity .cache .dbus .dmrc .mission-control .thumbnails ~/.config/dconf/user ~.compiz*

Mas nada ajudou.