fprintf can be used for printing to file.
Patch by JonY <10walls __AT__ gmail @@dot@@ com>

Originally committed as revision 15220 to svn://svn.ffmpeg.org/ffmpeg/trunk