Dummy package to use the system xenctrl package

