Add depexts for xenctrl