Build Xen version of zarith too