build C stubs for Xen too