in core/rust1.34/compile.py [0:0]
def copy_replace(src, dst, match=None, replacement=""):
with codecs.open(src, 'r', 'utf-8') as s:
body = s.read()
if match:
body = body.replace(match, replacement)
write_file(dst, body)