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