Require an updated xenctrl