kill error-prone default arguments in IPathManager