/* we need this function because of the silly way in which duplicate
entries are handled in the file lists - we can't change this
/* we need this function because of the silly way in which duplicate
entries are handled in the file lists - we can't change this