Ah - following your link and reading more, I see that someone already has sent a patch to PHP - but the PHP group has not yet accepted it: https://bugs.php.net/bug.php?id=55651
In the mean-time, you'd need to re-compile and patch your local PHP install with that patch.
David