Re: [armedbear] #472: CL:DIRECTORY with wildcard in name (was: CL:DIRECTORY with wild-inferiors failure)