Usage: diff.php