un/dosifyPath in SysTools.lhs bug?