[seL4] errors when make camkes-tutorials-manifest