pugixml library now in src_extern, as an external library it is.