[seL4] camkes error.h include problem