Workaround for PHP Bug #61141

Workaround for PHP Bug: https://bugs.php.net/bug.php?id=61141