updated pthreads version to current head