Re: [PATCH] libxl: Fix domain shutdown