use python's internal elementtree