use a non-RFC standard record separator to make work with Excel and Libre Office CSV exports :(

Signed-off-by: Jim Klo <jim.klo@sri.com>