Re: [armedbear] #451: DIRECTORY errors with wildcard directory