fix Xen compilation