Fix for bug #95. Exporting to stdout now properly flushes the buffer.