GTK, CInnamon, and icon themes