Re: [armedbear-ticket] [armedbear] #146: MAKE-PATHNAME erroneously merges directories as in MERGE-PATHNAMES