[Bug 397067] broken original name for XEN