better error message when the same file is specified twice on the command line
Merge pull request #4123 from rainers/issue13704

Fix issue 13704 - Confusing error message when passing the same on the command line twice