CSVify batch.py output.