hacking on c11 thread support for libc