Avoid `Segmentation fault` with PHP 5.5.14