Pthreads formula for php53 and 54
Closes #462