why do we have two identical files with the same name?