mate-icon-theme-devel may be superfluous !