Build C stubs for Xen too