Re: [seL4] about compile error