Use stderr iostreams instead of fprintf