RE: un/dosifyPath in SysTools.lhs bug?