The old "4.1.0" xenctrl package is not needed. Use the development version instead.