Depend on libxen-4.4 rather than libxen-4.2