Re: Stdio.File() bug?