adding 8669a62b1cfa97c7cca92308a278441d7d172a40 built for xen