[seL4] Re: Running ninja twice fails in https://github.com/seL4/sel4webserver