Update php_pthreads.h