[armedbear-devel] Bugs(?) in pathnames