Fix TestDFSShell