How To: Fix Gnome Icon Themes That Won’t Change