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

Dear developers of ABCL, I found a problem recently in both ABCL 0.21.0 and 0.24.0, where I could not rename a file to any file without an extension. For example, with an existing file /tmp/a.txt, CL-USER> (rename-file "/tmp/a.txt" "/tmp/a") #P"/tmp/a.txt" #P"/tmp/a.txt" #P"/tmp/a.txt" The file does not change at all. With any extension, everything works as expected. Thanks in advance. Yong.