Handling time-stamps and date-stamps in file names