[seL4] Re: testing rust program in sel4webserver example project