update php pthreads