Flush out the file pointer. (issue #9115 reported by guthrie)