Re: Slow performance when overwriting disk file (was Re: Slow performance when redirecting stdout to an existing disk file)