[seL4] Unable to Run seL4test