[seL4] Camkes Build Error

Hi All,

My Camkes has been working fine since now. Suddenly, it stopped working and produce the attached error log on running ninja. I am running it on x86 system (i5 processor), ubuntu 16.04 on qemu:

I am running the following commands: mkdir build cd build ../init --plat pc99 --tut hello-camkes-2 --solution ninja

Can you please suggest a possible way out?