Slither doesn't check to see if a file already exist when naming files. This will lead to multiple directory entries with the same name.