Re: dump 'ignore dir' option?