`cmd` stdout flushing

cmd should flush its stdout whenever possible, so that other tools in our pipeline can more easily stream from it.