Update xenctrl now that we have a configure script