Also install the xen-devel headers