Minor: do not print the same name multiple times in SolveFileName and UnsolveFileName conflicts

Created by  pmeunier  on January 4, 2022
OMOKYYXFBW3JNXIQHVRNGO5KQEGDNLOTVZH6CN2LHDL4FNOPD77AC
Change contents