Is this the correct fix?
Abdel.
Index: filetools.C
===================================================================
--- filetools.C (revision 16743)
+++ filetools.C (working copy)
@@ -255,7 +255,7 @@
{
// if `name' is an absolute path, we ignore the setting of `path'
// Expand Environmentvariables in 'name'
- string const tmpname = replaceEnvironmentPath(name);
+ string const tmpname = os::internal_path(replaceEnvironmentPath(name));
FileName fullname(makeAbsPath(tmpname, path));
// search first without extension, then with it.
if (isFileReadable(fullname))
