rmv.ext function

Remove the file extension from a file-name.