Update xmltomf.py