Once again on PHP 5.4.12, fixed krakjoe/pthreads#62