Add xenctrl package, properly this time