Fix sgen under xen