Re: [armedbear-devel] Cannot RENAME-FILE to a file without extensions