PHP-1276: this hardly could ever had worked
Merged pull request #774