add missing util.php