Re: [seL4] ninja build tool error