pathname-replace-file

[procedure] pathname-replace-file pathname file

Chicken: see also pathname-file, pathname-replace-directory, pathname-replace-extension