fix build error: include xen system lib.h