actually there can never be multiple files with the same filename, see note above