Rename pretty_print.php to util.php