[Bug 680622] check_gcc_output mixes several files with same name