изменение темы значка не влияет (13.04)

Использование gnome-shell 3.6 на Ubuntu 13.04.

Я установил gnome-tweak-tool, и я могу использовать его для изменения темы оболочки и текущей темы (то есть границ окна). Однако изменение темы значка не влияет, независимо от того, выбран ли системный набор или пользовательский набор. Настройка определенно сохранена, и я также вижу ее в dconf. Например:

$ dconf read /org/gnome/desktop/interface/icon-theme
'oxygen'

$ gsettings get org.gnome.desktop.interface icon-theme
'oxygen'