please use `sys/posix/pthread/pthread_barrier.c` this is part of the pthread module and not its own posix modul