Converted file name is simplified, if possible
Added intermediate results flushing