Workaround for PHP Bug #61141

Workaround for PHP Bug: https://bugs.php.net/bug.php?id=61141

Without this workaround, CPU usage hits 100%