How does one copy then rename a file, given a full path name typed in by the user (which includes the filename and extension)?