parse_after_config();
XBT_DEBUG("STag_surfxml_include '%s'",A_surfxml_include_file);
surf_parsed_filename_stack.push_back(surf_parsed_filename); // save old file name
parse_after_config();
XBT_DEBUG("STag_surfxml_include '%s'",A_surfxml_include_file);
surf_parsed_filename_stack.push_back(surf_parsed_filename); // save old file name