xen soname bump