xenopsd now needs the development version of xenctrl: this conditionally compiles against xen 4.1 and xen 4.2