Experimentally replaced 'echo foo' with 'echo foo | cat -' to see whether that will disable output buffering in makeCourseCSV.sh
Experimentally replaced 'echo foo' with 'echo foo | cat -' to see whether that will disable output buffering in makeCourseCSV.sh

paepcke/json_to_relation,paepcke/json_to_relation,paepcke/json_to_relation,paepcke/json_to_relation