- bool const success = converters.convert(buffer, filename, filename,
- backend_format, format, result_file,
+ string const ext = formats.extension(format);
+ string const tmp_result_file = changeExtension(filename, ext);
+ bool const success = converters.convert(buffer, filename,
+ tmp_result_file, buffer->fileName(), backend_format, format,