Travis check that Xen support builds too