bug fix in AbstractDirectoryAux