Fix the build on OS X (and other hosts lacking xenctrl.h)

Signed-off-by: David Scott <dave.scott@citrix.com>