Changes to pthread.c