Update xen.py