If building for Xen, build the time library in stage 0.