Fixing a confusion on filename conflicts, where some names could be mistakenly treated as zombies

Created by  pmeunier  on January 4, 2022
422NG2MT6M7YQDX2LFZSSHGP73BX76AXUWK64VID7TO5Y4JBWJCQC
Change contents