One more Pugi upgrade change