using support::bformat;
using support::changeExtension;
+using support::FileName;
using support::makeDisplayPath;
using std::find;
string const tofile =
changeExtension(filename,
formats.extension(*it));
- if (!converters.convert(0, filename, tofile,
- filename, format, *it, errorList))
+ if (!converters.convert(0, FileName(filename), FileName(tofile),
+ FileName(filename), format, *it, errorList))
return false;
loader_format = *it;
break;