Merge pull request #9281 from AdmiralCurtiss/iofile-write-string IOFile: Replace fprintf with WriteString/fmt.