Stdio.File() bug?