Added a new function, full_fname(), that makes a filename more complete