Update libpthread_wrapper.c