fixing compilation for xen