[3533] do filename munging with variable expansions

Closes #3533 (closed).

No need to do with external processes what shell can do for itself.

You can get the basename of a path as ${file##*/}, and the path stripped of the last suffix as ${file%.*}.