Comment 10 for bug 1095742

Thanks, this fixed it for me! :-)

It's a good idea that you only copy the file if its not there:
            if not os.path.exists(dest_file):

Now I have to get my build environment running to fix such small bugs myself! ;-)