Pthreads formula for php53 and 54