Update replaceall.py