some utilities to process xml files