Test files can be run twice

On bug 34415 a test file is renamed, and modified on another commit. We end up with the file renamed and the 'new one' in the list of the files to check and to prove.