XMLNAME
printf("-x path pathname to xml in url, default %s\n", XMLNAME);
const char* xmlname = XMLNAME;