Fix gnome-themes-extra.p5m