Add workaround to https://bugs.php.net/65967