characterizeFile: don't double-print stdout

stdout is already piped to the terminal as well as captured; the duplicate print here would result in duplicated output.