Use latest version of php-util.

Fixes a problem with PHP 5.5.