Fixed PHP-722: Random segfault
Merge pull request #720 from bjori/PHP-722-random-segfault

Fixed PHP-722: Random segfault

* bjori/PHP-722-random-segfault:
  Fixed PHP-722: Random segfault