fixed buffering bug for stdout by making it a hot file handle