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