OKL4 build errors

[Peter Nguyen]

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