Shift the Xen-specific OPAM dependencies out to depopts