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