Fix the name for xamarin-gtk-theme