Make a couple of configuration options specific to Unix, to avoid Xen build failures