now compiles under C11