Fixed PHP-722: Random segfault