use line buffering for traces instead of explicit calls to fflush