[Debug] work-around https://bugs.php.net/61272