deleted xml2dot (not needed anymore)