convert.php

<?php

$input = $_SERVER["argv"][1];
$output = $_SERVER["argv"][2];

$fp = fopen($output, "w");

foreach(file($input) as $line) {
    $fields = explode(chr(1), trim($line));
    fputcsv($fp, $fields);
}

fclose($fp);