Stdio.Buffer() bug ?