OKL4 build errors

Hi,

In upgrading to Genode 10.02, i'm encountering build errors when i specifically include one of three L4 header files, namely thread.h, ipc.h, and arch/thread.h. I do the #include statements within a namespace declaration like so:

namespace Okl4 { extern "C" { //includes }}

Every time i try to build OKL4, i keeping getting the following error which is related to utcb.h:

error: expected unqualified-id before ‘[’ token

Does anyone have any idea as to why this is happening? If i don't include any of those files, my code builds fine.

Peter